[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 10 3 2 10 3

N.S.

1 1.00 1.00 1.33 3.33 1.00 0.67 3.33 1.00

time (sec)

N/A 0.138 0.000 0.016 0.355 0.237 0.068 0.319 7.313

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 14 25 13 29 20 49 59 27

N.S.

1 1.17 2.08 1.08 2.42 1.67 4.08 4.92 2.25

time (sec)

N/A 0.185 0.016 0.170 0.349 0.269 0.500 0.333 7.006

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 30 22 23 42 37 39 16

N.S.

1 1.00 1.76 1.29 1.35 2.47 2.18 2.29 0.94

time (sec)

N/A 0.198 0.023 0.159 0.295 0.253 0.416 0.356 7.124

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 32 35 26 40 53 76 124 37

N.S.

1 1.07 1.17 0.87 1.33 1.77 2.53 4.13 1.23

time (sec)

N/A 0.259 0.092 0.169 0.296 0.250 0.915 0.385 7.272

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 34 27 38 90 49 69 32

N.S.

1 0.94 1.10 0.87 1.23 2.90 1.58 2.23 1.03

time (sec)

N/A 0.254 0.020 0.171 0.313 0.259 0.711 0.410 7.142

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 115 108 93 104 144 782 105 114

N.S.

1 1.13 1.06 0.91 1.02 1.41 7.67 1.03 1.12

time (sec)

N/A 0.752 0.394 0.096 0.285 0.265 1.473 0.894 8.162

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 89 92 80 89 119 660 90 98

N.S.

1 1.07 1.11 0.96 1.07 1.43 7.95 1.08 1.18

time (sec)

N/A 0.564 0.385 0.085 0.278 0.265 1.044 0.669 7.209

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 77 79 59 75 95 442 76 81

N.S.

1 0.95 0.98 0.73 0.93 1.17 5.46 0.94 1.00

time (sec)

N/A 0.483 0.044 0.065 0.279 0.274 0.741 0.506 7.363

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 67 51 71 65 282 76 79

N.S.

1 1.00 1.40 1.06 1.48 1.35 5.88 1.58 1.65

time (sec)

N/A 0.323 0.110 0.051 0.291 0.253 0.578 0.385 8.753

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 77 51 72 64 272 77 76

N.S.

1 1.00 1.64 1.09 1.53 1.36 5.79 1.64 1.62

time (sec)

N/A 0.302 0.025 0.049 0.291 0.254 0.574 0.377 8.077

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 70 79 80 88 104 672 92 99

N.S.

1 1.01 1.14 1.16 1.28 1.51 9.74 1.33 1.43

time (sec)

N/A 0.402 0.147 0.241 0.290 0.263 1.431 0.461 7.401

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 92 97 95 105 147 1137 122 113

N.S.

1 1.08 1.14 1.12 1.24 1.73 13.38 1.44 1.33

time (sec)

N/A 0.595 0.399 0.242 0.292 0.271 2.654 0.525 7.563

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 125 107 115 130 192 1401 165 143

N.S.

1 1.12 0.96 1.03 1.16 1.71 12.51 1.47 1.28

time (sec)

N/A 0.846 0.652 0.293 0.291 0.272 3.825 0.598 7.298

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 62 33 35 44 39 36 49

N.S.

1 1.00 2.48 1.32 1.40 1.76 1.56 1.44 1.96

time (sec)

N/A 0.273 0.058 0.042 0.286 0.249 0.089 0.345 7.683

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 65 85 95 78 235 99 112

N.S.

1 1.00 1.12 1.47 1.64 1.34 4.05 1.71 1.93

time (sec)

N/A 0.334 0.129 0.053 0.278 0.286 0.455 0.361 8.682

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 112 187 125 161 191 1348 199 152

N.S.

1 1.11 1.85 1.24 1.59 1.89 13.35 1.97 1.50

time (sec)

N/A 0.514 2.580 0.082 0.300 0.257 0.750 0.422 7.811

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

233 260 212 937 0 1312 0 0 1093

N.S.

1 1.12 0.91 4.02 0.00 5.63 0.00 0.00 4.69

time (sec)

N/A 1.462 2.966 0.398 0.000 0.275 0.000 0.000 66.519

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

186 180 169 873 0 1265 0 0 938

N.S.

1 0.97 0.91 4.69 0.00 6.80 0.00 0.00 5.04

time (sec)

N/A 1.006 2.089 0.128 0.000 0.272 0.000 0.000 25.434

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

146 145 140 829 0 1228 0 0 864

N.S.

1 0.99 0.96 5.68 0.00 8.41 0.00 0.00 5.92

time (sec)

N/A 0.733 0.551 0.109 0.000 0.292 0.000 0.000 14.084

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

122 103 120 812 0 1199 0 0 845

N.S.

1 0.84 0.98 6.66 0.00 9.83 0.00 0.00 6.93

time (sec)

N/A 0.560 0.141 0.094 0.000 0.328 0.000 0.000 10.813

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 118 219 976 0 2452 0 0 9785

N.S.

1 0.90 1.67 7.45 0.00 18.72 0.00 0.00 74.69

time (sec)

N/A 0.988 0.655 0.237 0.000 0.530 0.000 0.000 10.088

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 156 235 1029 0 2579 0 0 10987

N.S.

1 0.93 1.41 6.16 0.00 15.44 0.00 0.00 65.79

time (sec)

N/A 1.229 2.651 0.224 0.000 0.878 0.000 0.000 8.826

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

219 218 271 1145 0 2691 0 0 14195

N.S.

1 1.00 1.24 5.23 0.00 12.29 0.00 0.00 64.82

time (sec)

N/A 1.747 4.917 0.246 0.000 3.173 0.000 0.000 9.457

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

279 286 566 1295 0 2769 0 0 16796

N.S.

1 1.03 2.03 4.64 0.00 9.92 0.00 0.00 60.20

time (sec)

N/A 2.309 6.494 0.226 0.000 9.350 0.000 0.000 9.611

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

214 209 252 1697 0 3148 0 0 2993

N.S.

1 0.98 1.18 7.93 0.00 14.71 0.00 0.00 13.99

time (sec)

N/A 1.284 2.796 0.151 0.000 0.475 0.000 0.000 82.098

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

175 160 192 1668 0 3102 0 0 2868

N.S.

1 0.91 1.10 9.53 0.00 17.73 0.00 0.00 16.39

time (sec)

N/A 0.919 1.392 0.106 0.000 0.457 0.000 0.000 34.894

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

150 131 140 1657 0 3058 0 0 2823

N.S.

1 0.87 0.93 11.05 0.00 20.39 0.00 0.00 18.82

time (sec)

N/A 0.760 0.545 0.090 0.000 0.473 0.000 0.000 20.844

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

152 139 144 1654 0 6165 0 0 20255

N.S.

1 0.91 0.95 10.88 0.00 40.56 0.00 0.00 133.26

time (sec)

N/A 1.298 0.408 0.244 0.000 2.671 0.000 0.000 11.797

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

169 158 282 1689 0 6248 0 0 21319

N.S.

1 0.93 1.67 9.99 0.00 36.97 0.00 0.00 126.15

time (sec)

N/A 1.398 0.641 0.235 0.000 3.339 0.000 0.000 9.838

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

219 218 195 1805 0 6357 0 0 23016

N.S.

1 1.00 0.89 8.24 0.00 29.03 0.00 0.00 105.10

time (sec)

N/A 1.848 2.704 0.260 0.000 6.199 0.000 0.000 9.952

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

278 282 241 1985 0 6452 0 0 25789

N.S.

1 1.01 0.87 7.14 0.00 23.21 0.00 0.00 92.77

time (sec)

N/A 2.407 5.974 0.222 0.000 15.332 0.000 0.000 10.787

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

252 246 296 2438 0 4963 0 0 0

N.S.

1 0.98 1.17 9.67 0.00 19.69 0.00 0.00 0.00

time (sec)

N/A 1.612 4.966 0.177 0.000 0.864 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

213 216 258 2407 0 4916 0 0 3932

N.S.

1 1.01 1.21 11.30 0.00 23.08 0.00 0.00 18.46

time (sec)

N/A 1.158 1.735 0.117 0.000 0.838 0.000 0.000 94.320

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

188 169 233 2387 0 4855 0 0 3863

N.S.

1 0.90 1.24 12.70 0.00 25.82 0.00 0.00 20.55

time (sec)

N/A 0.989 1.166 0.108 0.000 0.820 0.000 0.000 41.525

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

182 169 177 2373 0 9757 0 0 29441

N.S.

1 0.93 0.97 13.04 0.00 53.61 0.00 0.00 161.76

time (sec)

N/A 1.643 1.263 0.253 0.000 10.913 0.000 0.000 14.543

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

196 186 400 2390 0 9815 0 0 31186

N.S.

1 0.95 2.04 12.19 0.00 50.08 0.00 0.00 159.11

time (sec)

N/A 1.779 1.129 0.236 0.000 13.312 0.000 0.000 11.722

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F(-1) F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

220 214 448 2488 0 9888 0 0 32561

N.S.

1 0.97 2.04 11.31 0.00 44.95 0.00 0.00 148.00

time (sec)

N/A 1.839 2.552 0.266 0.000 16.382 0.000 0.000 12.572

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

277 276 548 2668 0 9965 0 0 33949

N.S.

1 1.00 1.98 9.63 0.00 35.97 0.00 0.00 122.56

time (sec)

N/A 2.457 6.488 0.249 0.000 25.113 0.000 0.000 11.684

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

342 357 622 2914 0 10107 0 0 36736

N.S.

1 1.04 1.82 8.52 0.00 29.55 0.00 0.00 107.42

time (sec)

N/A 3.042 6.578 0.296 0.000 55.784 0.000 0.000 12.432

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

151 121 193 1375 0 1472 0 0 3441

N.S.

1 0.80 1.28 9.11 0.00 9.75 0.00 0.00 22.79

time (sec)

N/A 0.686 1.421 0.079 0.000 0.290 0.000 0.000 32.674

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

408 432 183 986 0 956 0 0 2529

N.S.

1 1.06 0.45 2.42 0.00 2.34 0.00 0.00 6.20

time (sec)

N/A 0.718 0.506 0.086 0.000 0.285 0.000 0.000 19.901

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

422 453 157 814 0 719 0 0 581

N.S.

1 1.07 0.37 1.93 0.00 1.70 0.00 0.00 1.38

time (sec)

N/A 0.731 0.260 0.073 0.000 0.269 0.000 0.000 10.209

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

213 221 170 2015 0 1767 0 0 3054

N.S.

1 1.04 0.80 9.46 0.00 8.30 0.00 0.00 14.34

time (sec)

N/A 1.193 4.341 0.181 0.000 0.297 0.000 0.000 16.395

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

166 157 139 1949 0 1725 0 0 2981

N.S.

1 0.95 0.84 11.74 0.00 10.39 0.00 0.00 17.96

time (sec)

N/A 0.828 1.687 0.125 0.000 0.306 0.000 0.000 11.913

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

124 109 118 1910 0 1706 0 0 2930

N.S.

1 0.88 0.95 15.40 0.00 13.76 0.00 0.00 23.63

time (sec)

N/A 0.567 0.558 0.120 0.000 0.304 0.000 0.000 11.279

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

102 83 101 1892 0 1669 0 0 2909

N.S.

1 0.81 0.99 18.55 0.00 16.36 0.00 0.00 28.52

time (sec)

N/A 0.438 0.121 0.504 0.000 0.279 0.000 0.000 10.167

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 118 170 4002 0 3458 0 0 7099

N.S.

1 0.90 1.30 30.55 0.00 26.40 0.00 0.00 54.19

time (sec)

N/A 0.940 0.812 0.279 0.000 0.815 0.000 0.000 12.117

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

169 164 201 4057 0 3582 0 0 9790

N.S.

1 0.97 1.19 24.01 0.00 21.20 0.00 0.00 57.93

time (sec)

N/A 1.272 3.144 0.225 0.000 1.994 0.000 0.000 9.957

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

224 230 360 4175 0 3688 0 0 13182

N.S.

1 1.03 1.61 18.64 0.00 16.46 0.00 0.00 58.85

time (sec)

N/A 1.701 6.319 0.236 0.000 7.510 0.000 0.000 10.907

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

264 273 300 3754 0 4421 0 0 5811

N.S.

1 1.03 1.14 14.22 0.00 16.75 0.00 0.00 22.01

time (sec)

N/A 1.380 3.795 0.183 0.000 0.709 0.000 0.000 23.823

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 186 248 3713 0 4379 0 0 5768

N.S.

1 1.11 1.49 22.23 0.00 26.22 0.00 0.00 34.54

time (sec)

N/A 0.938 1.408 0.176 0.000 0.697 0.000 0.000 16.124

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

141 151 229 3688 0 4329 0 0 5742

N.S.

1 1.07 1.62 26.16 0.00 30.70 0.00 0.00 40.72

time (sec)

N/A 0.640 1.524 0.103 0.000 0.698 0.000 0.000 15.338

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

138 144 113 3684 0 4318 0 0 5737

N.S.

1 1.04 0.82 26.70 0.00 31.29 0.00 0.00 41.57

time (sec)

N/A 0.605 0.230 0.092 0.000 0.687 0.000 0.000 14.920

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

171 195 186 7982 0 8820 0 0 26139

N.S.

1 1.14 1.09 46.68 0.00 51.58 0.00 0.00 152.86

time (sec)

N/A 1.358 1.336 0.233 0.000 4.109 0.000 0.000 15.353

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

219 253 208 8043 0 9075 0 0 38368

N.S.

1 1.16 0.95 36.73 0.00 41.44 0.00 0.00 175.20

time (sec)

N/A 1.815 4.168 0.240 0.000 17.367 0.000 0.000 12.654

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

285 324 409 8164 0 9219 0 0 42371

N.S.

1 1.14 1.44 28.65 0.00 32.35 0.00 0.00 148.67

time (sec)

N/A 2.352 6.279 0.245 0.000 42.423 0.000 0.000 12.504

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

371 395 450 4592 0 7358 0 0 9547

N.S.

1 1.06 1.21 12.38 0.00 19.83 0.00 0.00 25.73

time (sec)

N/A 2.169 6.389 0.198 0.000 2.204 0.000 0.000 47.632

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

261 298 309 4548 0 7284 0 0 9498

N.S.

1 1.14 1.18 17.43 0.00 27.91 0.00 0.00 36.39

time (sec)

N/A 1.446 3.638 0.143 0.000 2.204 0.000 0.000 37.094

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

198 225 260 4492 0 7218 0 0 9468

N.S.

1 1.14 1.31 22.69 0.00 36.45 0.00 0.00 47.82

time (sec)

N/A 1.075 1.155 0.117 0.000 2.235 0.000 0.000 27.682

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

188 213 325 4484 0 7209 0 0 9464

N.S.

1 1.13 1.73 23.85 0.00 38.35 0.00 0.00 50.34

time (sec)

N/A 0.925 3.868 0.127 0.000 2.258 0.000 0.000 26.558

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

185 206 115 4473 0 7181 0 0 9457

N.S.

1 1.11 0.62 24.18 0.00 38.82 0.00 0.00 51.12

time (sec)

N/A 0.928 0.267 0.110 0.000 2.214 0.000 0.000 27.143

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

224 272 242 12870 0 14700 0 0 45681

N.S.

1 1.21 1.08 57.46 0.00 65.62 0.00 0.00 203.93

time (sec)

N/A 1.866 5.470 0.228 0.000 19.726 0.000 0.000 18.988

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

289 343 306 12968 0 15082 0 0 67465

N.S.

1 1.19 1.06 44.87 0.00 52.19 0.00 0.00 233.44

time (sec)

N/A 2.375 5.430 0.259 0.000 57.597 0.000 0.000 15.511

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

364 423 593 13092 0 15325 0 0 71314

N.S.

1 1.16 1.63 35.97 0.00 42.10 0.00 0.00 195.92

time (sec)

N/A 3.081 6.363 0.274 0.000 111.451 0.000 0.000 14.666

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) A F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

362 403 88 662 0 399 0 0 3033

N.S.

1 1.11 0.24 1.83 0.00 1.10 0.00 0.00 8.38

time (sec)

N/A 0.613 0.082 0.120 0.000 0.257 0.000 0.000 9.979

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

406 426 88 1575 0 805 0 0 6453

N.S.

1 1.05 0.22 3.88 0.00 1.98 0.00 0.00 15.89

time (sec)

N/A 0.658 0.035 0.118 0.000 0.263 0.000 0.000 12.469

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

119 108 112 374 0 1674 0 0 2142

N.S.

1 0.91 0.94 3.14 0.00 14.07 0.00 0.00 18.00

time (sec)

N/A 0.879 0.091 0.343 0.000 0.291 0.000 0.000 10.113

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

123 125 106 1955 0 2174 0 0 9618

N.S.

1 1.02 0.86 15.89 0.00 17.67 0.00 0.00 78.20

time (sec)

N/A 0.595 0.139 0.088 0.000 0.305 0.000 0.000 21.213

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

154 176 166 1779 0 4578 0 0 7172

N.S.

1 1.14 1.08 11.55 0.00 29.73 0.00 0.00 46.57

time (sec)

N/A 1.244 1.248 0.330 0.000 0.390 0.000 0.000 14.086

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

102 85 109 1893 0 1115 0 0 2731

N.S.

1 0.83 1.07 18.56 0.00 10.93 0.00 0.00 26.77

time (sec)

N/A 0.413 0.203 0.090 0.000 0.263 0.000 0.000 10.321

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

132 129 154 2291 0 2320 0 0 5475

N.S.

1 0.98 1.17 17.36 0.00 17.58 0.00 0.00 41.48

time (sec)

N/A 0.608 0.432 0.117 0.000 0.295 0.000 0.000 13.948

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) B F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

174 182 156 3055 0 3695 0 0 8437

N.S.

1 1.05 0.90 17.56 0.00 21.24 0.00 0.00 48.49

time (sec)

N/A 0.858 0.313 0.100 0.000 0.344 0.000 0.000 24.858

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

45 35 45 729 6480 249 0 155 1410

N.S.

1 0.78 1.00 16.20 144.00 5.53 0.00 3.44 31.33

time (sec)

N/A 0.236 0.438 0.105 0.636 0.244 0.000 0.407 10.392

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

45 35 45 741 0 267 0 155 1410

N.S.

1 0.78 1.00 16.47 0.00 5.93 0.00 3.44 31.33

time (sec)

N/A 0.243 0.044 0.092 0.000 0.242 0.000 0.402 9.215

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 61 54 0 28 0 65 31

N.S.

1 1.00 2.03 1.80 0.00 0.93 0.00 2.17 1.03

time (sec)

N/A 0.203 0.767 0.225 0.000 0.248 0.000 0.329 0.860

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 61 52 0 47 0 57 35

N.S.

1 1.00 2.26 1.93 0.00 1.74 0.00 2.11 1.30

time (sec)

N/A 0.205 0.926 0.048 0.000 0.250 0.000 0.301 0.691

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 75 134 0 309 0 0 147

N.S.

1 1.00 0.88 1.58 0.00 3.64 0.00 0.00 1.73

time (sec)

N/A 0.381 0.106 0.231 0.000 0.254 0.000 0.000 8.935

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 255 151 275 227 2266 0 0 1522

N.S.

1 0.92 0.54 0.99 0.82 8.15 0.00 0.00 5.47

time (sec)

N/A 0.909 1.742 0.065 0.368 0.389 0.000 0.000 18.211

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 231 134 253 210 2252 0 0 1492

N.S.

1 0.91 0.53 1.00 0.83 8.87 0.00 0.00 5.87

time (sec)

N/A 0.748 1.104 0.037 0.388 0.381 0.000 0.000 14.410

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 206 114 229 192 2230 0 0 1456

N.S.

1 0.90 0.50 1.00 0.84 9.74 0.00 0.00 6.36

time (sec)

N/A 0.605 0.447 0.032 0.347 0.384 0.000 0.000 12.018

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 182 94 203 174 2216 0 0 1420

N.S.

1 0.89 0.46 0.99 0.85 10.81 0.00 0.00 6.93

time (sec)

N/A 0.494 0.178 0.037 0.373 0.380 0.000 0.000 10.383

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 182 158 203 174 2244 0 0 1420

N.S.

1 0.89 0.77 0.99 0.85 10.95 0.00 0.00 6.93

time (sec)

N/A 0.529 0.683 0.041 0.314 0.387 0.000 0.000 10.790

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 206 178 222 192 2275 0 0 1448

N.S.

1 0.90 0.78 0.97 0.84 9.93 0.00 0.00 6.32

time (sec)

N/A 0.652 0.830 0.039 0.399 0.414 0.000 0.000 11.751

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 231 198 240 211 2290 0 0 1473

N.S.

1 0.91 0.78 0.94 0.83 9.02 0.00 0.00 5.80

time (sec)

N/A 0.807 1.325 0.040 0.472 0.399 0.000 0.000 14.246

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

394 349 304 374 329 4337 0 0 3914

N.S.

1 0.89 0.77 0.95 0.84 11.01 0.00 0.00 9.93

time (sec)

N/A 1.405 6.145 0.102 0.466 0.749 0.000 0.000 29.534

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 317 178 333 302 4326 0 0 3869

N.S.

1 0.88 0.49 0.92 0.84 12.02 0.00 0.00 10.75

time (sec)

N/A 1.186 2.367 0.034 0.715 0.712 0.000 0.000 21.128

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 283 151 292 275 4283 0 0 3825

N.S.

1 0.87 0.46 0.90 0.84 13.14 0.00 0.00 11.73

time (sec)

N/A 0.967 1.314 0.035 0.372 0.731 0.000 0.000 15.104

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 249 119 251 248 4271 0 0 3773

N.S.

1 0.85 0.40 0.85 0.84 14.53 0.00 0.00 12.83

time (sec)

N/A 0.803 0.577 0.035 0.398 0.716 0.000 0.000 11.186

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 228 211 238 240 4280 0 0 3749

N.S.

1 0.83 0.76 0.86 0.87 15.51 0.00 0.00 13.58

time (sec)

N/A 0.738 0.988 0.035 0.370 0.739 0.000 0.000 10.687

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 235 119 243 248 4313 0 0 3745

N.S.

1 0.83 0.42 0.86 0.88 15.24 0.00 0.00 13.23

time (sec)

N/A 0.754 0.740 0.033 0.354 0.722 0.000 0.000 11.813

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 269 120 270 276 4325 0 0 3782

N.S.

1 0.85 0.38 0.85 0.87 13.64 0.00 0.00 11.93

time (sec)

N/A 0.920 0.661 0.033 0.366 0.729 0.000 0.000 15.107

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

463 395 221 432 398 6209 0 0 6774

N.S.

1 0.85 0.48 0.93 0.86 13.41 0.00 0.00 14.63

time (sec)

N/A 1.648 3.721 0.039 0.356 1.396 0.000 0.000 38.607

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

421 355 197 372 363 6157 0 0 6716

N.S.

1 0.84 0.47 0.88 0.86 14.62 0.00 0.00 15.95

time (sec)

N/A 1.379 2.178 0.035 0.331 1.437 0.000 0.000 25.335

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 312 153 314 327 6136 0 0 6657

N.S.

1 0.82 0.40 0.83 0.86 16.15 0.00 0.00 17.52

time (sec)

N/A 1.149 1.585 0.034 0.341 1.491 0.000 0.000 14.527

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

374 303 264 286 310 6137 0 0 7108

N.S.

1 0.81 0.71 0.76 0.83 16.41 0.00 0.00 19.01

time (sec)

N/A 1.135 2.860 0.038 0.329 1.466 0.000 0.000 12.194

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 302 165 278 310 6162 0 0 7578

N.S.

1 0.81 0.44 0.75 0.83 16.56 0.00 0.00 20.37

time (sec)

N/A 1.136 1.326 0.038 0.312 1.438 0.000 0.000 12.366

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 312 166 290 327 6162 0 0 7591

N.S.

1 0.82 0.44 0.76 0.86 16.22 0.00 0.00 19.98

time (sec)

N/A 1.209 1.436 0.040 0.327 1.450 0.000 0.000 14.602

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 289 187 292 258 6160 0 0 16441

N.S.

1 0.89 0.58 0.90 0.79 18.95 0.00 0.00 50.59

time (sec)

N/A 1.446 1.233 0.099 0.332 21.871 0.000 0.000 14.940

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 254 165 265 234 6092 0 0 15701

N.S.

1 0.86 0.56 0.89 0.79 20.51 0.00 0.00 52.87

time (sec)

N/A 1.092 0.372 0.067 0.309 9.278 0.000 0.000 15.087

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 228 195 244 216 5992 0 0 15090

N.S.

1 0.82 0.70 0.88 0.78 21.55 0.00 0.00 54.28

time (sec)

N/A 0.796 0.400 0.063 0.322 3.211 0.000 0.000 13.347

[next] [prev] [prev-tail] [front] [up]